BU CAS CS 332, Spring 2009: Section Notes

This document contains notes corresponding to the material that has been or will be covered during the discussion sections of the spring 2009 iteration of the course BU CAS CS 332, taught by Professor Leonid Levin. These notes will contain intuitive exposition, as well as problems and examples that demonstrate how the definitions and theorems presented during lectures and in the official lecture notes can be instantiated and used. These notes should not be used to determine what material is required for the course. The required material for the course is limited to the material presented in the lectures, the lecture notes, the homework assignments, and anything explicitly assigned within the course textbooks. This document will be updated over time; the date on this title page corresponds to the day on which the latest changes were made.